- LNCS902
- -M. Dezani-Ciancaglini/G. Plotkin (Eds.): Typed Lambda Calculi and Applications. Proceedings 1995, Springer-Verlag 1995
Acronyms von A bis Z. 2013.
LNCS902
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS902 — M. Dezani Ciancaglini/G. Plotkin (Eds.): Typed Lambda Calculi and Applications. Proceedings 1995, Springer Verlag 1995 … Acronyms
